Object oriented abstractions for real-time distributed systems : Foundation steps of Ada 95 purity and genericsMOODY, S. A.Lecture notes in computer science. 1998, pp 112-127, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Ada+B the formula for safety critical software developmentCHAPRONT, P.Lecture notes in computer science. 1998, pp 14-18, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Embedded opportunitiesGASPERONI, F.Lecture notes in computer science. 1998, pp 1-13, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Looking at code with your safety goggles onKEN WONG.Lecture notes in computer science. 1998, pp 251-262, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Symbolic reaching definitions analysis of Ada programsBLIEBERGER, J; BURGSTALLER, B.Lecture notes in computer science. 1998, pp 238-250, issn 0302-9743, isbn 3-540-64536-5Conference Paper

The Ravenscar tasking profile for high integrity real-time programsBURNS, A; DOBBING, B; ROMANSKI, G et al.Lecture notes in computer science. 1998, pp 263-275, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Ada 95 for a distributed simulation systemHAGENAUER, H; POHLMANN, W.Lecture notes in computer science. 1998, pp 140-150, issn 0302-9743, isbn 3-540-64536-5Conference Paper

A two-level matching mechanism for object-oriented class librariesARABAN, S; SAJEEV, A. S. M.Lecture notes in computer science. 1998, pp 188-200, issn 0302-9743, isbn 3-540-64536-5Conference Paper

How to avoid the inheritance anomaly in AdaSCHUMACHER, G; NEBEL, W.Lecture notes in computer science. 1998, pp 53-64, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Modern avionics requirements for the distributed systems annexLEWIS, B; VESTAL, S; MCCONNELL, D et al.Lecture notes in computer science. 1998, pp 201-212, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Quality-for-ASIS : A portable testing facility for ASISSTROHMEIER, A; FOFANOV, V; RYBIN, S et al.Lecture notes in computer science. 1998, pp 163-175, issn 0302-9743, isbn 3-540-64536-5Conference Paper

ChipVision2 - : A stereo vision system for robots based on reconfigurable hardwareASPLUND, Lars; BERGKVIST, Henrik; NORDH, Thomas et al.Lecture notes in computer science. 2006, pp 359-370, issn 0302-9743, isbn 3-540-35437-9, 1Vol, 12 p.Conference Paper

PINROB : A portable API for industrial robotsGONZALEZ HARBOUR, M; GOMEZ SOMARRIBA, R; STROHMEIER, A et al.Lecture notes in computer science. 1998, pp 151-162, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Programming hard real-time systems with optional components in AdaESPINOSA, A; JULIAN, V; CARRASCOSA, C et al.Lecture notes in computer science. 1998, pp 102-111, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Automating the Ada binding process for Java : How far can we go?EMERY, D. E; MATHIS, R. F; NYBERG, K. A et al.Lecture notes in computer science. 1998, pp 29-40, issn 0302-9743, isbn 3-540-64536-5Conference Paper

A case study in quantitative evaluation of real-time software architecturesFERNANDEZ, J. L; ALVAREZ, B; GARCIA, F et al.Lecture notes in computer science. 1998, pp 213-224, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Implementing and using execution time clocks in Ada hard real-time applicationsGONZALEZ HARBOUR, M; ALDEA RIVAS, M; GUTIERREZ GARCIA, J. J et al.Lecture notes in computer science. 1998, pp 90-101, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Building modular communication systems in Ada : The Simple-Com approachGONZALEZ-BARAHONA, J. M; DE-LAS-HERAS-QUIROS, P; CENTENO-GONZALEZ, J et al.Lecture notes in computer science. 1998, pp 225-237, issn 0302-9743, isbn 3-540-64536-5Conference Paper

Measuring the cache interference cost in preemptive real-time systemsSTÄRNER, Johan; ASPLUND, Lars.ACM SIGPLAN notices. 2004, Vol 39, Num 7, pp 146-154, issn 1523-2867, 9 p.Conference Paper